Pure type system

#	Item
11	LNCS[removed]Erasure and Polymorphism in Pure Type Systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-11-13 13:58:09 Theoretical computer science Models of computation Type erasure Proof theory Lambda calculus Valuation Type system Admissible rule Natural deduction Mathematical logic Mathematics Type theory
12	Pure Subtype Systems DeLesley S. Hutchins MZA Associates Corporation Add to Reading List Source URL: redwood.mza.com Language: English - Date: 2009-11-06 16:44:00 Theoretical computer science Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Lambda cube System F Type theory Software engineering Programming language theory
13	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science